Altisen, Karine: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Introduction to Distributed Self-Stabilizing Algorithms

Altisen, Karine, Devismes, Stéphane, Dubois, Swan, Petit, Franck

Journal:

Synthesis Lectures on Distributed Computing Theory

Year:

2019

File:

PDF, 1.63 MB

2019

2

Comparison of mean hitting times for a degree-biased random walk

Gerbaud, Antoine, Altisen, Karine, Devismes, Stéphane, Lafourcade, Pascal

Journal:

Discrete Applied Mathematics

Year:

2014

Language:

english

File:

PDF, 453 KB

english, 2014

3

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Cassez, Franck, Cassez, Franck, Cassez, Franck, Cassez, Franck, Tripakis, Stavros, Tripakis, Stavros, Tripakis, Stavros, Tripakis, Stavros, Altisen, Karine, Altisen, Karine, Altisen, Karine, Altisen,

Year:

2007

Language:

english

File:

PDF, 240 KB

english, 2007

4

[IEEE 2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS) - Cambridge, MA, USA (2013.05.20-2013.05.23)] 2013 IEEE International Conference on Distributed Computing in Sensor Systems - SR3: Secure Resilient Reputation-based Routing

Altisen, Karine, Devismes, Stephane, Jamet, Raphael, Lafourcade, Pascal

Year:

2013

Language:

english

File:

PDF, 546 KB

english, 2013

5

[IEEE 2010 22nd Euromicro Conference on Real-Time Systems (ECRTS) - Brussels, Belgium (2010.07.6-2010.07.9)] 2010 22nd Euromicro Conference on Real-Time Systems - ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

Altisen, Karine, Moy, Matthieu

Year:

2010

Language:

english

File:

PDF, 635 KB

english, 2010

6

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems

Cassez, Franck, Tripakis, Stavros, Altisen, Karine

Year:

2007

Language:

english

File:

PDF, 239 KB

english, 2007

7

On probabilistic snap-stabilization

Altisen, Karine, Devismes, Stéphane

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.46 MB

english, 2015

8

Causality problem in real-time calculus

Altisen, Karine, Moy, Matthieu

Journal:

Formal Methods in System Design

Year:

2016

Language:

english

File:

PDF, 1.44 MB

english, 2016

9

SR3: secure resilient reputation-based routing

Altisen, Karine, Devismes, Stéphane, Jamet, Raphaël, Lafourcade, Pascal

Journal:

Wireless Networks

Year:

2016

Language:

english

File:

PDF, 1.68 MB

english, 2016

10

Self-stabilizing leader election in polynomial steps

Altisen, Karine, Cournier, Alain, Devismes, Stéphane, Durand, Anaïs, Petit, Franck

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 2.19 MB

english, 2016

11

[ACM Press the 1st International Workshop - Viena, Austria (2011.11.29-2011.11.29)] Proceedings of the 1st International Workshop on Worst-Case Traversal Time - WCTT '11 - Causality closure for a new class of curves in real-time calculus

Altisen, Karine, Moy, Matthieu

Year:

2011

Language:

english

File:

PDF, 962 KB

english, 2011

12

Concurrency in snap-stabilizing local resource allocation

Altisen, Karine, Devismes, Stéphane, Durand, Anaïs

Journal:

Journal of Parallel and Distributed Computing

Year:

2017

Language:

english

File:

PDF, 900 KB

english, 2017

13

[IEEE 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Orlando, FL, USA (2017.5.29-2017.6.2)] 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Leader Election in Asymmetric Labeled Unidirectional Rings

Altisen, Karine, Datta, Ajoy K., Devismes, Stephane, Durand, Anais, Larmore, Lawrence L.

Year:

2017

Language:

english

File:

PDF, 262 KB

english, 2017

14

[IEEE 2017 IEEE 13th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Rome (2017.10.9-2017.10.11)] 2017 IEEE 13th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Collision prevention in distributed 6TiSCH networks

Fahs, Ali J., Bertolini, Rodolphe, Alphand, Olivier, Rousseau, Franck, Altisen, Karine, Devismes, Stephane

Year:

2017

Language:

english

File:

PDF, 842 KB

english, 2017

15

Gradual stabilization

Altisen, Karine, Devismes, Stéphane, Durand, Anaïs, Petit, Franck

Journal:

Journal of Parallel and Distributed Computing

Year:

2019

Language:

english

File:

PDF, 1.09 MB

english, 2019

16

Introduction to Distributed Self-Stabilizing Algorithms

Altisen, Karine, Devismes, Stéphane, Dubois, Swan, Petit, Franck

Journal:

Synthesis Lectures on Distributed Computing Theory

Year:

2019

Language:

english

File:

PDF, 1.63 MB

english, 2019

17

Election in unidirectional rings with homonyms

Altisen, Karine, Datta, Ajoy K., Devismes, StÃ©phane, Durand, AnaÃ¯s, Larmore, Lawrence L.

Journal:

Journal of Parallel and Distributed Computing

Year:

2020

File:

PDF, 1.03 MB

2020